Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων
5
Hybrid Systems:Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003 Proceedings

Hybrid Systems:Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003 Proceedings

Έτος:
2003
Γλώσσα:
english
Αρχείο:
PDF, 11.78 MB
5.0 / 4.5
english, 2003
6
Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Έτος:
1997
Γλώσσα:
english
Αρχείο:
DJVU, 3.80 MB
0 / 0
english, 1997
8
Hybrid Systems II

Hybrid Systems II

Έτος:
1995
Γλώσσα:
english
Αρχείο:
DJVU, 6.46 MB
0 / 0
english, 1995
12
The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

Έτος:
1992
Γλώσσα:
english
Αρχείο:
PDF, 8.62 MB
0 / 0
english, 1992
17
Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Έτος:
1979
Γλώσσα:
english
Αρχείο:
PDF, 8.00 MB
0 / 0
english, 1979
18
Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Έτος:
1979
Γλώσσα:
english
Αρχείο:
DJVU, 3.42 MB
0 / 0
english, 1979